More from this Author

Formal Techniques in Real-Time and Fault-Tolerant Systems

by Anders P. Ravn (Editor), Hans Rischel (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)